ChangeLog fix
authorGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:27:27 +0000 (13:27 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:27:27 +0000 (13:27 -0400)
commit8b9ef863a86281deac9e3c97a9cf7ce1e38ece8c
treec76395f826efbda47ca6071c483fca04c6fdf74f
parentbb5209f48695af07cc0ad8fa7269df37c6c3cf73
ChangeLog fix
etc/ChangeLog